<div>
    <a href="{{ site.baseurl }}/">
        <div id="scala-logo">
            {% include scala-logo.html %}
        </div>
    </a>
    <form id="search-form" action="/search.html" method="get">
        <input placeholder="Search" type="text" id="search-box" name="query">
    </form>
    <ul id="categories">
        <li><ul><li><a href="{{ site.baseurl }}/blog">Blog</a></li></ul></li>
        <li><ul><li><a href="{{ site.baseurl }}/docs">Dotty Docs</a></li></ul></li>
        <li>
            Usage
            <ul>
                <li><a href="{{ site.baseurl }}/docs/usage/migrating.html">Migrating from Scala 2</a></li>
                <li><a href="{{ site.baseurl }}/docs/usage/sbt-projects.html">Using Dotty with sbt</a></li>
                <li><a href="{{ site.baseurl }}/docs/usage/cbt-projects.html">Using Dotty with cbt</a></li>
            </ul>
        </li>
        <li>
            Contributing
            <ul>
                <li><a href="{{ site.baseurl }}/docs/contributing/getting-started.html">Getting Started</a></li>
                <li><a href="{{ site.baseurl }}/docs/contributing/workflow.html">Workflow</a></li>
                <li><a href="{{ site.baseurl }}/docs/contributing/eclipse.html">Eclipse</a></li>
                <li><a href="{{ site.baseurl }}/docs/contributing/intellij-idea.html">Intellij-IDEA</a></li>
            </ul>
        </li>
        <li>
            Internals
            <ul>
                <li><a href="{{ site.baseurl }}/docs/internals/backend.html">Backend</a></li>
                <li><a href="{{ site.baseurl }}/docs/internals/contexts.html">Contexts</a></li>
                <li><a href="{{ site.baseurl }}/docs/internals/higher-kinded-v2.html">Higher Kinded Type Scheme</a></li>
                <li><a href="{{ site.baseurl }}/docs/internals/overall-structure.html">Project Structure</a></li>
                <li><a href="{{ site.baseurl }}/docs/internals/periods.html">Periods</a></li>
                <li><a href="{{ site.baseurl }}/docs/internals/type-system.html">Type System</a></li>
                <li><a href="{{ site.baseurl }}/docs/internals/dotc-scalac.html">Dotty vs Scala2</a></li>
            </ul>
        </li>
    </ul>
</div>
